max $partialdiff sub T$ $integral dX$ [ Princeton tmax ]